(FILECREATED "19-JUN-75 14:32:22" FIX.;1 3159   

     changes to:  SET-DIFF IS-CON-L NCONCB PSUF FIXCOMS)


  (LISPXPRINT (QUOTE FIXCOMS)
	      T T)
  (RPAQQ FIXCOMS ((FNS SET-DIFF IS-CON-L NCONCB PSUF PXEQ PGET)
	  TOP3COMS))
(DEFINEQ

(SET-DIFF
  [LAMBDA (L M)
    (ANY1OF (PROGN (SETQ L (APPEND L))
		   [MAPC M (FUNCTION (LAMBDA (M1)
			     (DREMOVE M1 L]
		   L)
	    (SUBSET L (FUNCTION (LAMBDA (L1)
			(NOT (FMEMB L1 M])

(IS-CON-L
  [LAMBDA (B)
    (AND (GETHASH B HCON)
	 (LIST B])

(NCONCB
  [LAMBDA (B P X)
    (AND X (SETB B P (NCONC (GETB B P)
			    X])

(PSUF
  [LAMBDA (P B BA1 BA2 BA3 BA4 RS C1)
    (INIT-PART B P)
    (AND (SETQ C1 (GETP P (QUOTE CENT)))
	 (SETQ RS (RIPPLE-SIMULT B C1))
	 [PROG1 T (AND BA1 (FMEMB P STRATEGY-PARTS)
		       (FMEMB BA1 FACETS)
		       [SETQ RS (MAPCONC RS (FUNCTION (LAMBDA (R)
					     (IS-CON-L (GLUE R BA1]
		       [NCONC RS (MAPCONC RS (FUNCTION (LAMBDA (R)
					      (RIPPLE-SIMULT R C1]
		       (SETQ RS (INTERSECTION RS RS]
	 (NCONCB B P (NCONC (SETQ P (GETHASH P SUF1))
			    (MAPCONC RS (QUOTE APPLYB-P))
			    (SETQ P (GETHASH P SWSUF))
			    (MAPCONC (DREVERSE RS)
				     (QUOTE APPLYB-P])

(PXEQ
  [LAMBDA (P B BA1 BA2 BA3 BA4 RS)
    (AND (SETQ RS (RIPPLE-SIMULT B C1))
	 (SETQ C1 (GETP P (QUOTE CENT)))
	 (OR [AND BA1 (FMEMB P STRATEGY-PARTS)
		  (FMEMB BA1 XEQ-PARTS)
		  (MAPCONC RS (FUNCTION (LAMBDA (Z)
			       (AND (GETHASH (GLUE Z BA1)
					     HCON)
				    (PSUF P Z BA2 BA3 BA4]
	     (MAPCONC RS (QUOTE APPLYB-P])

(PGET
  [LAMBDA (P B)
    (MAPCONC (RIPPLE-SIMULT B (GETP P (QUOTE CENT)))
	     (QUOTE GETB-P-C])
)
  [RPAQQ TOP3COMS
	 ((FNS ACCESS ADD-CANDS ANY1OF APPLYB APPLYB-P AVG2 BPFS COM-ANCES COMMENT CPRIN1 CREATEB DE-THRESH DECRB DEFB 
	       DEFP DIE DOTPROD DWIMUSERFN ENSURE ENSURE-TOP FAN FIND-NEW-CANDS GATH GCB GEN-FNAME GET-TIME GETARGS 
	       GETB GETB-P GETB-P-C GETBQ GETU GEXADD GEXEC GLUE GLUEE GPGM-PRIN GTRANSFER IN-FACTOR INCRB INIT-PART 
	       INSTAN-1D INSTAN-1I INSTAN-1S INSTAN-BASE INSTAN-D INSTAN-I INSTAN-PAT INSTAN-REC INSTAN-S INT-ENUF 
	       IS-CON-L IS-ONE-OF ISA JUST-ONCE KINDS-OF LESS-INT LRU-TAG MAX MAX1 MKSWAPP MORE-GENERAL MORE-INT 
	       MORE-SPECIFIC NCONCB ONE-ISA PGET PICK-CAND PRUNABLE PRUNE PSUF PUTU PXEQ RAND-MEMB RAND-PRED 
	       RAND-SUBSET RAND-THING RE-JUDGE RECENTLY-TRIED RECTANGLE RIPPLE RIPPLE-SIMULT RIPPLE-UNTIL RIPPLE1 RMUL 
	       SAME-TYPE SATISFIES SELF SELF-COMPILE SET-DIFF SET-NTH SETB SETBQ START SUB-CANDS SWAPB SWGETB SWITCH 
	       SWSETB TLOOP TYPE UNFORGETTABLE UP-THRESH UPDATE XEQ-CAND XTR-BEING)
	  (FNS INIT1 INIT-COMP)
	  CAND-TAIL COMMA CONSTRUCTIVE-OPS CRLF DO-THRESH DWIMUSERFN EX-THRESH F-COUNTER INIT-CANDS INIT-ONCE-LIST 
	  INIT-PAST INIT-DOTHRESH INIT-EXTHRESH INIT-INTHRESH INTHRESH JTRASH RANDSTATE TOP-ACTS TRIVB USERNAMES 
	  VERBOSITY (P (INIT1)
		       (INIT-COMP))
	  (DECLARE: DONTEVAL@LOAD DOEVAL@COMPILE DONTCOPY COMPILERVARS
		    (ADDVARS (NLAMA TYPE COMMENT APPLYB ANY1OF)
			     (NLAML SWITCH SETBQ SELF-COMPILE SELF RE-JUDGE JUST-ONCE GETBQ]
(DECLARE: DONTCOPY
  (FILEMAP (NIL (238 1672 (SET-DIFF 250 . 448) (IS-CON-L 452 . 516) (NCONCB 520 . 598) (PSUF 602 . 1212) (PXEQ 1216
. 1564) (PGET 1568 . 1669)))))
STOP